計算機科学のための数学談話会７ 商差法の応用